Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1

Source URL: www-users.york.ac.uk

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Algebraic structures
• Boolean algebra
• Mathematical logic
• Semigroup theory
• Relation algebra
• Monoid
• Residuated Boolean algebra
• Heyting algebra

Rewriting with linear inferences in propositional logic Anupam Das February 15, 2013 Abstract Linear inferences are sound implications of propositional logic where

Source URL: www.anupamdas.com

IT IS DECLARATIVE ON REASONING ABOUT LOGIC PROGRAMS Wlodzimierz Drabent1 Abstract

Source URL: www.ipipan.waw.pl

Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

Source URL: schematics.sourceforge.net

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• CurryHoward correspondence
• Dependently typed programming
• Logic in computer science
• Philosophy of computer science
• Type theory
• Symbol
• Sequent
• Confidence interval

Representing actions and functional properties in conceptual spaces Peter Gärdenfors Abstract The book Conceptual Spaces (Gärdenforspresents a theory of concepts based on geometrical and topological structures i

Source URL: logic.sysu.edu.cn

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

Source URL: schematics.sourceforge.net

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Non-classical logic
• Sequent
• NC
• Linear logic
• Constructible universe
• CurryHoward correspondence
• Natural deduction

PDF Document

Source URL: www.havelund.com

• Computing
• Software engineering
• Software
• Formal methods
• Theoretical computer science
• Model checkers
• Logic in computer science
• Java Pathfinder
• Model checking
• Formal verification
• Promela
• Abstract interpretation

RULE 2005 Preliminary Version Completeness and Counter-Example Generations of a Basic Protocol Logic (Extended Abstract) Koji Hasebe 1,2 and Mitsuhiro Okada 1,3

Source URL: abelard.flet.keio.ac.jp